Set theory - PDFSEARCH.IO - Document Search Engine

Set theory
Results: 2815

#	Item
561	THE COMPLEXITY OF CLASSIFICATION PROBLEMS IN ERGODIC THEORY ALEXANDER S. KECHRIS AND ROBIN D. TUCKER-DROB The last two decades have seen the emergence of a theory of set theoretic complexity of classification problems in Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2011-08-13 03:56:48
562	Core Extensional Mathematics and Local Constructive Set Theory in honor of the 60th birthday of Giovanni Sambin Advances in Constructive Topology Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2009-09-23 11:00:09
563	Aspects of Predicative Algebraic Set Theory I: Exact Completion (DRAFT) Benno van den Berg & Ieke Moerdijk September 24, Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
564	Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.monad.me.uk Language: English - Date: 2009-02-12 12:32:50
565	C:/My Files/texpapers/free idempotent generated semigroups free G-acts/DolinkaGouldYang_1.S2.dvi Add to Reading List Source URL: www-users.york.ac.uk Language: English - Date: 2014-02-17 06:03:43 Semigroup theory Algebraic structures Semigroup Symbol Special classes of semigroups Biordered set Table of stars with Bayer designations Regular semigroup
566	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
567	THREE DAYS OF Ω-LOGIC PAUL B. LARSON The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathe Add to Reading List Source URL: www.users.miamioh.edu Language: English - Date: 2011-11-30 07:32:02
568	UpSet: Visualization of Intersecting Sets Alexander Lex, Nils Gehlenborg, Hendrik Strobelt, Romain Vuillemot, and Hanspeter Pfister Set$Menu Combina2on$Matrix Set$View Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2015-05-26 14:38:24 Mathematics Binary operations Mathematical logic Set theory Visualization Cardinality Entityrelationship model Union Set Intersection Base Interactive visual analysis
569	Aspects of Predicative Algebraic Set Theory II: Realizability Benno van den Berg & Ieke Moerdijk June 20, 2008 Dedicated to Jean-Yves Girard on the occasion of his 60th birthday Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-03-21 06:42:22
570	Categorical semantics of constructive set theory Beim Fachbereich Mathematik der Technischen Universit¨at Darmstadt Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2012-01-23 06:19:16

UPDATE